🇬🇧 en fr 🇫🇷

greatest lower bound

infimum